[next] [prev] [prev-tail] [tail] [up]

2.2.20 Integrals 1901 to 2000

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 1901

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

63 64 86 71 66 129 88 79 48

N.S.

1 1.02 1.37 1.13 1.05 2.05 1.40 1.25 0.76

time (sec)

N/A 0.190 0.211 0.035 0.263 0.276 1.401 0.315 6.389

Problem 1902

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

64 67 79 86 86 142 88 69 36

N.S.

1 1.05 1.23 1.34 1.34 2.22 1.38 1.08 0.56

time (sec)

N/A 0.196 0.108 0.041 0.266 0.269 1.421 0.300 6.067

Problem 1903

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

54 62 78 71 61 141 78 122 42

N.S.

1 1.15 1.44 1.31 1.13 2.61 1.44 2.26 0.78

time (sec)

N/A 0.188 0.142 0.037 0.267 0.284 1.216 0.468 6.153

Problem 1904

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

71 74 70 84 113 163 71 76 39

N.S.

1 1.04 0.99 1.18 1.59 2.30 1.00 1.07 0.55

time (sec)

N/A 0.187 0.157 0.041 0.275 0.298 1.619 0.312 6.227

Problem 1905

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 18 28 15 14 39 68 92 26

N.S.

1 1.00 1.56 0.83 0.78 2.17 3.78 5.11 1.44

time (sec)

N/A 0.144 0.100 0.054 0.191 0.273 0.584 0.295 6.140

Problem 1906

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

95 101 89 98 155 184 119 100 0

N.S.

1 1.06 0.94 1.03 1.63 1.94 1.25 1.05 0.00

time (sec)

N/A 0.210 0.184 0.042 0.267 0.278 3.419 0.312 0.000

Problem 1907

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

86 89 92 85 115 157 117 95 72

N.S.

1 1.03 1.07 0.99 1.34 1.83 1.36 1.10 0.84

time (sec)

N/A 0.192 0.166 0.053 0.268 0.280 2.549 0.337 6.555

Problem 1908

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

88 92 79 107 105 165 112 90 0

N.S.

1 1.05 0.90 1.22 1.19 1.88 1.27 1.02 0.00

time (sec)

N/A 0.207 0.136 0.062 0.275 0.322 2.275 0.310 0.000

Problem 1909

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

80 82 90 86 81 170 112 142 66

N.S.

1 1.02 1.12 1.08 1.01 2.12 1.40 1.78 0.82

time (sec)

N/A 0.195 0.267 0.047 0.276 0.322 2.231 0.466 6.478

Problem 1910

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

86 91 94 100 130 172 117 96 36

N.S.

1 1.06 1.09 1.16 1.51 2.00 1.36 1.12 0.42

time (sec)

N/A 0.205 0.160 0.048 0.281 0.277 2.382 0.304 6.248

Problem 1911

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

72 80 89 84 75 169 105 180 60

N.S.

1 1.11 1.24 1.17 1.04 2.35 1.46 2.50 0.83

time (sec)

N/A 0.193 0.189 0.044 0.259 0.287 2.381 0.787 6.173

Problem 1912

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

92 98 81 95 152 185 99 95 39

N.S.

1 1.07 0.88 1.03 1.65 2.01 1.08 1.03 0.42

time (sec)

N/A 0.194 0.234 0.049 0.280 0.385 2.640 0.328 6.334

Problem 1913

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 18 28 15 14 50 88 121 68

N.S.

1 1.00 1.56 0.83 0.78 2.78 4.89 6.72 3.78

time (sec)

N/A 0.143 0.126 0.067 0.178 0.257 0.465 0.298 6.324

Problem 1914

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

116 125 100 109 190 206 150 119 0

N.S.

1 1.08 0.86 0.94 1.64 1.78 1.29 1.03 0.00

time (sec)

N/A 0.230 0.226 0.065 0.270 0.299 6.771 0.311 0.000

Problem 1915

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

74 79 97 86 104 157 95 79 57

N.S.

1 1.07 1.31 1.16 1.41 2.12 1.28 1.07 0.77

time (sec)

N/A 0.187 0.245 0.037 0.266 0.273 2.430 0.299 6.487

Problem 1916

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

50 49 81 66 68 126 42 59 38

N.S.

1 0.98 1.62 1.32 1.36 2.52 0.84 1.18 0.76

time (sec)

N/A 0.171 0.185 0.033 0.283 0.292 1.163 0.295 6.362

Problem 1917

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 24 50 46 37 80 17 38 18

N.S.

1 1.00 2.08 1.92 1.54 3.33 0.71 1.58 0.75

time (sec)

N/A 0.163 0.020 0.021 0.292 0.313 0.610 0.280 6.226

Problem 1918

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 16 16 15 14 18 26 34 14

N.S.

1 1.00 1.00 0.94 0.88 1.12 1.62 2.12 0.88

time (sec)

N/A 0.140 0.053 0.043 0.181 0.305 0.277 0.303 6.122

Problem 1919

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

35 40 31 36 29 31 231 59 25

N.S.

1 1.14 0.89 1.03 0.83 0.89 6.60 1.69 0.71

time (sec)

N/A 0.176 0.073 0.028 0.181 0.281 0.775 0.309 6.067

Problem 1920

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

57 61 42 47 47 42 750 81 56

N.S.

1 1.07 0.74 0.82 0.82 0.74 13.16 1.42 0.98

time (sec)

N/A 0.187 0.092 0.030 0.178 0.281 1.177 0.285 5.998

Problem 1921

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

75 80 53 58 63 53 1969 107 73

N.S.

1 1.07 0.71 0.77 0.84 0.71 26.25 1.43 0.97

time (sec)

N/A 0.210 0.096 0.034 0.179 0.491 1.765 0.307 6.021

Problem 1922

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

66 72 40 45 50 40 279 64 38

N.S.

1 1.09 0.61 0.68 0.76 0.61 4.23 0.97 0.58

time (sec)

N/A 0.190 0.044 0.031 0.188 0.284 0.654 0.301 6.287

Problem 1923

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

42 42 28 33 32 28 46 48 25

N.S.

1 1.00 0.67 0.79 0.76 0.67 1.10 1.14 0.60

time (sec)

N/A 0.161 0.044 0.027 0.184 0.296 0.456 0.293 6.441

Problem 1924

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 16 16 23 14 18 17 28 39

N.S.

1 1.00 1.00 1.44 0.88 1.12 1.06 1.75 2.44

time (sec)

N/A 0.134 0.007 0.022 0.206 0.270 0.361 0.296 6.130

Problem 1925

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 28 50 52 41 79 19 46 23

N.S.

1 1.00 1.79 1.86 1.46 2.82 0.68 1.64 0.82

time (sec)

N/A 0.152 0.041 0.019 0.262 0.306 0.610 0.298 6.555

Problem 1926

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

53 53 72 73 76 128 42 55 60

N.S.

1 1.00 1.36 1.38 1.43 2.42 0.79 1.04 1.13

time (sec)

N/A 0.173 0.093 0.032 0.286 0.304 1.237 0.307 6.711

Problem 1927

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B A A C B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 27 56 50 21 88 46 45 21

N.S.

1 1.00 2.07 1.85 0.78 3.26 1.70 1.67 0.78

time (sec)

N/A 0.160 0.035 0.043 0.267 0.272 0.614 0.303 6.494

Problem 1928

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

20 22 50 52 41 75 20 46 17

N.S.

1 1.10 2.50 2.60 2.05 3.75 1.00 2.30 0.85

time (sec)

N/A 0.148 0.039 0.038 0.271 0.292 0.562 0.290 6.401

Problem 1929

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B A B C B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

20 22 54 63 20 84 48 42 21

N.S.

1 1.10 2.70 3.15 1.00 4.20 2.40 2.10 1.05

time (sec)

N/A 0.149 0.042 0.038 0.269 0.280 0.602 0.286 6.097

Problem 1930

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

95 104 97 87 122 221 100 96 75

N.S.

1 1.09 1.02 0.92 1.28 2.33 1.05 1.01 0.79

time (sec)

N/A 0.201 0.347 0.044 0.273 0.307 3.596 0.299 6.587

Problem 1931

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

69 73 83 73 86 192 71 74 53

N.S.

1 1.06 1.20 1.06 1.25 2.78 1.03 1.07 0.77

time (sec)

N/A 0.196 0.261 0.045 0.276 0.317 1.686 0.316 6.326

Problem 1932

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

41 46 71 63 52 163 187 57 33

N.S.

1 1.12 1.73 1.54 1.27 3.98 4.56 1.39 0.80

time (sec)

N/A 0.170 0.132 0.032 0.275 0.320 1.022 0.315 5.996

Problem 1933

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

15 15 15 14 13 29 26 18 18

N.S.

1 1.00 1.00 0.93 0.87 1.93 1.73 1.20 1.20

time (sec)

N/A 0.139 0.050 0.044 0.187 0.308 0.353 0.304 6.019

Problem 1934

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

34 38 28 37 30 37 48 58 36

N.S.

1 1.12 0.82 1.09 0.88 1.09 1.41 1.71 1.06

time (sec)

N/A 0.174 0.070 0.034 0.195 0.322 0.478 0.304 5.988

Problem 1935

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

54 59 42 50 46 54 423 114 47

N.S.

1 1.09 0.78 0.93 0.85 1.00 7.83 2.11 0.87

time (sec)

N/A 0.187 0.100 0.047 0.184 0.295 1.200 0.297 6.046

Problem 1936

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

73 78 53 59 63 63 1844 169 56

N.S.

1 1.07 0.73 0.81 0.86 0.86 25.26 2.32 0.77

time (sec)

N/A 0.203 0.117 0.043 0.223 0.429 1.916 0.316 6.120

Problem 1937

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

88 98 52 60 69 62 337 86 48

N.S.

1 1.11 0.59 0.68 0.78 0.70 3.83 0.98 0.55

time (sec)

N/A 0.215 0.050 0.047 0.201 0.326 0.858 0.279 6.495

Problem 1938

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

62 68 41 49 53 51 219 70 38

N.S.

1 1.10 0.66 0.79 0.85 0.82 3.53 1.13 0.61

time (sec)

N/A 0.194 0.047 0.040 0.182 0.312 0.645 0.301 6.290

Problem 1939

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

35 37 27 37 32 39 42 51 36

N.S.

1 1.06 0.77 1.06 0.91 1.11 1.20 1.46 1.03

time (sec)

N/A 0.160 0.037 0.039 0.187 0.321 0.489 0.278 5.767

Problem 1940

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 19 19 29 17 29 20 28 24

N.S.

1 1.00 1.00 1.53 0.89 1.53 1.05 1.47 1.26

time (sec)

N/A 0.145 0.006 0.025 0.182 0.296 0.466 0.279 5.704

Problem 1941

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

47 47 57 67 58 155 184 79 40

N.S.

1 1.00 1.21 1.43 1.23 3.30 3.91 1.68 0.85

time (sec)

N/A 0.174 0.065 0.028 0.263 0.380 1.043 0.281 5.989

Problem 1942

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

71 77 74 81 97 190 73 80 0

N.S.

1 1.08 1.04 1.14 1.37 2.68 1.03 1.13 0.00

time (sec)

N/A 0.195 0.121 0.041 0.263 0.325 1.931 0.314 0.000

Problem 1943

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

95 107 88 94 139 228 102 99 0

N.S.

1 1.13 0.93 0.99 1.46 2.40 1.07 1.04 0.00

time (sec)

N/A 0.218 0.151 0.045 0.268 0.321 3.939 0.325 0.000

Problem 1944

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

116 127 117 98 139 287 432 114 95

N.S.

1 1.09 1.01 0.84 1.20 2.47 3.72 0.98 0.82

time (sec)

N/A 0.223 0.477 0.077 0.271 0.366 6.064 0.285 6.666

Problem 1945

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

88 96 104 85 101 260 819 92 73

N.S.

1 1.09 1.18 0.97 1.15 2.95 9.31 1.05 0.83

time (sec)

N/A 0.201 0.376 0.070 0.273 0.321 2.683 0.301 6.448

Problem 1946

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

59 70 93 73 62 232 743 73 47

N.S.

1 1.19 1.58 1.24 1.05 3.93 12.59 1.24 0.80

time (sec)

N/A 0.188 0.260 0.037 0.269 0.449 1.588 0.292 6.071

Problem 1947

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 18 28 15 14 41 48 21 14

N.S.

1 1.00 1.56 0.83 0.78 2.28 2.67 1.17 0.78

time (sec)

N/A 0.143 0.078 0.045 0.185 0.303 0.560 0.278 5.907

Problem 1948

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

35 40 39 39 29 53 94 35 27

N.S.

1 1.14 1.11 1.11 0.83 1.51 2.69 1.00 0.77

time (sec)

N/A 0.174 0.082 0.029 0.219 0.333 0.705 0.304 5.833

Problem 1949

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

55 59 49 50 47 61 153 76 42

N.S.

1 1.07 0.89 0.91 0.85 1.11 2.78 1.38 0.76

time (sec)

N/A 0.186 0.113 0.043 0.186 0.331 0.864 0.308 5.918

Problem 1950

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

76 80 60 61 64 76 201 133 58

N.S.

1 1.05 0.79 0.80 0.84 1.00 2.64 1.75 0.76

time (sec)

N/A 0.207 0.119 0.045 0.192 0.316 1.049 0.306 5.932

Problem 1951

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

82 95 59 60 71 73 337 85 81

N.S.

1 1.16 0.72 0.73 0.87 0.89 4.11 1.04 0.99

time (sec)

N/A 0.205 0.052 0.058 0.181 0.484 0.898 0.286 6.343

Problem 1952

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

58 66 49 50 51 63 163 62 43

N.S.

1 1.14 0.84 0.86 0.88 1.09 2.81 1.07 0.74

time (sec)

N/A 0.181 0.044 0.050 0.222 0.293 0.789 0.297 5.995

Problem 1953

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

42 42 38 39 33 52 105 39 34

N.S.

1 1.00 0.90 0.93 0.79 1.24 2.50 0.93 0.81

time (sec)

N/A 0.175 0.042 0.029 0.194 0.315 0.689 0.279 6.031

Problem 1954

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 21 28 29 17 40 48 29 17

N.S.

1 1.00 1.33 1.38 0.81 1.90 2.29 1.38 0.81

time (sec)

N/A 0.148 0.007 0.027 0.196 0.339 0.732 0.284 5.803

Problem 1955

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

68 74 80 77 73 226 740 93 0

N.S.

1 1.09 1.18 1.13 1.07 3.32 10.88 1.37 0.00

time (sec)

N/A 0.195 0.102 0.035 0.264 0.336 1.782 0.305 0.000

Problem 1956

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

95 107 96 92 117 260 864 85 0

N.S.

1 1.13 1.01 0.97 1.23 2.74 9.09 0.89 0.00

time (sec)

N/A 0.218 0.150 0.064 0.265 0.318 3.144 0.305 0.000

Problem 1957

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

13 13 13 10 9 21 31 21 17

N.S.

1 1.00 1.00 0.77 0.69 1.62 2.38 1.62 1.31

time (sec)

N/A 0.142 0.642 0.030 0.181 0.340 0.493 0.279 6.105

Problem 1958

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

13 13 21 10 9 26 48 23 19

N.S.

1 1.00 1.62 0.77 0.69 2.00 3.69 1.77 1.46

time (sec)

N/A 0.144 2.026 0.032 0.181 0.310 0.372 0.284 6.212

Problem 1959

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

44 44 63 0 0 0 56 0 0

N.S.

1 1.00 1.43 0.00 0.00 0.00 1.27 0.00 0.00

time (sec)

N/A 0.187 0.269 0.000 0.000 0.000 2.218 0.000 0.000

Problem 1960

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

44 44 58 0 0 0 56 0 0

N.S.

1 1.00 1.32 0.00 0.00 0.00 1.27 0.00 0.00

time (sec)

N/A 0.184 0.172 0.000 0.000 0.000 0.820 0.000 0.000

Problem 1961

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

44 44 64 0 0 0 54 0 0

N.S.

1 1.00 1.45 0.00 0.00 0.00 1.23 0.00 0.00

time (sec)

N/A 0.180 0.195 0.000 0.000 0.000 0.663 0.000 0.000

Problem 1962

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

44 44 67 0 0 0 54 0 0

N.S.

1 1.00 1.52 0.00 0.00 0.00 1.23 0.00 0.00

time (sec)

N/A 0.181 0.285 0.000 0.000 0.000 1.007 0.000 0.000

Problem 1963

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

44 44 71 0 0 0 54 0 0

N.S.

1 1.00 1.61 0.00 0.00 0.00 1.23 0.00 0.00

time (sec)

N/A 0.179 0.050 0.000 0.000 0.000 7.377 0.000 0.000

Problem 1964

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

70 70 73 0 0 0 60 0 0

N.S.

1 1.00 1.04 0.00 0.00 0.00 0.86 0.00 0.00

time (sec)

N/A 0.203 0.052 0.000 0.000 0.000 8.776 0.000 0.000

Problem 1965

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

40 39 40 34 34 33 32 35 33

N.S.

1 0.98 1.00 0.85 0.85 0.82 0.80 0.88 0.82

time (sec)

N/A 0.191 0.009 0.043 0.190 0.300 0.089 0.273 0.072

Problem 1966

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

136 136 122 48 125 140 44 132 143

N.S.

1 1.00 0.90 0.35 0.92 1.03 0.32 0.97 1.05

time (sec)

N/A 0.283 0.044 0.028 0.278 0.308 0.084 0.274 5.997

Problem 1967

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

132 132 120 46 122 108 37 129 119

N.S.

1 1.00 0.91 0.35 0.92 0.82 0.28 0.98 0.90

time (sec)

N/A 0.271 0.025 0.028 0.280 0.320 0.088 0.282 5.870

Problem 1968

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 26 27 23 23 22 20 24 22

N.S.

1 0.96 1.00 0.85 0.85 0.81 0.74 0.89 0.81

time (sec)

N/A 0.179 0.006 0.023 0.194 0.285 0.084 0.273 5.757

Problem 1969

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

124 133 111 37 109 123 32 114 120

N.S.

1 1.07 0.90 0.30 0.88 0.99 0.26 0.92 0.97

time (sec)

N/A 0.307 0.022 0.024 0.279 0.289 0.077 0.273 0.199

Problem 1970

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

119 123 108 34 106 106 22 111 114

N.S.

1 1.03 0.91 0.29 0.89 0.89 0.18 0.93 0.96

time (sec)

N/A 0.298 0.019 0.023 0.278 0.268 0.075 0.278 5.819

Problem 1971

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

15 15 15 14 13 13 10 14 13

N.S.

1 1.00 1.00 0.93 0.87 0.87 0.67 0.93 0.87

time (sec)

N/A 0.148 0.004 0.017 0.192 0.283 0.061 0.288 0.038

Problem 1972

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

115 116 89 27 98 304 24 112 111

N.S.

1 1.01 0.77 0.23 0.85 2.64 0.21 0.97 0.97

time (sec)

N/A 0.269 0.013 0.021 0.289 0.286 0.062 0.280 5.803

Problem 1973

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

115 111 89 27 98 299 20 112 99

N.S.

1 0.97 0.77 0.23 0.85 2.60 0.17 0.97 0.86

time (sec)

N/A 0.262 0.014 0.019 0.277 0.330 0.068 0.282 5.881

Problem 1974

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

15 15 22 14 13 18 15 22 18

N.S.

1 1.00 1.47 0.93 0.87 1.20 1.00 1.47 1.20

time (sec)

N/A 0.141 0.008 0.022 0.192 0.287 0.116 0.279 5.736

Problem 1975

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

122 131 114 53 106 103 29 121 102

N.S.

1 1.07 0.93 0.43 0.87 0.84 0.24 0.99 0.84

time (sec)

N/A 0.294 0.022 0.035 0.293 0.286 0.084 0.299 0.301

Problem 1976

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

124 128 119 54 106 143 32 115 128

N.S.

1 1.03 0.96 0.44 0.85 1.15 0.26 0.93 1.03

time (sec)

N/A 0.281 0.023 0.034 0.281 0.302 0.104 0.281 5.799

Problem 1977

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

35 36 35 32 33 33 31 42 31

N.S.

1 1.03 1.00 0.91 0.94 0.94 0.89 1.20 0.89

time (sec)

N/A 0.190 0.010 0.055 0.196 0.279 0.156 0.274 5.591

Problem 1978

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

56 56 49 52 53 70 53 54 56

N.S.

1 1.00 0.88 0.93 0.95 1.25 0.95 0.96 1.00

time (sec)

N/A 0.203 0.020 0.080 0.201 0.263 0.157 0.280 5.600

Problem 1979

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

157 163 144 68 147 190 70 151 172

N.S.

1 1.04 0.92 0.43 0.94 1.21 0.45 0.96 1.10

time (sec)

N/A 0.277 0.099 0.039 0.277 0.292 0.166 0.276 5.767

Problem 1980

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

155 159 140 64 143 158 65 147 152

N.S.

1 1.03 0.90 0.41 0.92 1.02 0.42 0.95 0.98

time (sec)

N/A 0.273 0.086 0.036 0.306 0.301 0.163 0.281 0.244

Problem 1981

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

46 43 38 41 43 56 42 41 45

N.S.

1 0.93 0.83 0.89 0.93 1.22 0.91 0.89 0.98

time (sec)

N/A 0.191 0.018 0.031 0.192 0.294 0.152 0.278 0.103

Problem 1982

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

146 160 131 55 130 163 58 132 139

N.S.

1 1.10 0.90 0.38 0.89 1.12 0.40 0.90 0.95

time (sec)

N/A 0.325 0.079 0.036 0.274 0.306 0.152 0.289 5.906

Problem 1983

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

144 150 127 50 125 146 48 127 132

N.S.

1 1.04 0.88 0.35 0.87 1.01 0.33 0.88 0.92

time (sec)

N/A 0.312 0.077 0.030 0.277 0.306 0.149 0.273 0.252

Problem 1984

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

33 31 27 30 32 35 29 32 29

N.S.

1 0.94 0.82 0.91 0.97 1.06 0.88 0.97 0.88

time (sec)

N/A 0.185 0.010 0.025 0.195 0.293 0.119 0.272 0.058

Problem 1985

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

136 143 119 45 116 400 44 132 138

N.S.

1 1.05 0.88 0.33 0.85 2.94 0.32 0.97 1.01

time (sec)

N/A 0.299 0.078 0.031 0.281 0.325 0.123 0.270 6.100

Problem 1986

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

134 136 118 43 114 391 39 130 108

N.S.

1 1.01 0.88 0.32 0.85 2.92 0.29 0.97 0.81

time (sec)

N/A 0.294 0.071 0.029 0.283 0.282 0.117 0.277 5.985

Problem 1987

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 16 16 15 14 15 15 14 14

N.S.

1 1.00 1.00 0.94 0.88 0.94 0.94 0.88 0.88

time (sec)

N/A 0.139 0.006 0.021 0.198 0.276 0.102 0.277 5.694

Problem 1988

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

136 143 119 48 124 402 44 129 138

N.S.

1 1.05 0.88 0.35 0.91 2.96 0.32 0.95 1.01

time (sec)

N/A 0.294 0.062 0.027 0.283 0.296 0.110 0.273 5.818

Problem 1989

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

134 136 118 46 122 389 39 127 128

N.S.

1 1.01 0.88 0.34 0.91 2.90 0.29 0.95 0.96

time (sec)

N/A 0.280 0.060 0.028 0.286 0.298 0.137 0.269 0.206

Problem 1990

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

38 39 33 35 37 47 34 45 34

N.S.

1 1.03 0.87 0.92 0.97 1.24 0.89 1.18 0.89

time (sec)

N/A 0.183 0.015 0.031 0.197 0.294 0.175 0.283 0.068

Problem 1991

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

71 73 93 92 100 175 100 55 76

N.S.

1 1.03 1.31 1.30 1.41 2.46 1.41 0.77 1.07

time (sec)

N/A 0.180 0.569 1.873 0.278 0.383 2.080 0.332 6.324

Problem 1992

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

47 45 68 71 53 150 48 39 56

N.S.

1 0.96 1.45 1.51 1.13 3.19 1.02 0.83 1.19

time (sec)

N/A 0.166 0.225 0.340 0.314 0.383 1.046 0.334 6.423

Problem 1993

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 43 76 67 49 131 76 36 31

N.S.

1 1.00 1.77 1.56 1.14 3.05 1.77 0.84 0.72

time (sec)

N/A 0.165 0.232 0.406 0.274 0.374 0.829 0.311 6.057

Problem 1994

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 18 18 15 14 28 46 14 24

N.S.

1 1.00 1.00 0.83 0.78 1.56 2.56 0.78 1.33

time (sec)

N/A 0.140 0.232 0.072 0.216 0.278 0.584 0.276 6.084

Problem 1995

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

38 42 41 39 30 42 313 29 37

N.S.

1 1.11 1.08 1.03 0.79 1.11 8.24 0.76 0.97

time (sec)

N/A 0.183 1.604 0.061 0.197 0.282 0.868 0.281 6.239

Problem 1996

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

59 63 53 50 47 53 913 43 70

N.S.

1 1.07 0.90 0.85 0.80 0.90 15.47 0.73 1.19

time (sec)

N/A 0.191 1.854 0.068 0.196 0.288 1.331 0.285 6.609

Problem 1997

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

80 84 64 61 64 64 2317 57 90

N.S.

1 1.05 0.80 0.76 0.80 0.80 28.96 0.71 1.12

time (sec)

N/A 0.205 1.970 0.085 0.206 0.287 1.967 0.289 7.032

Problem 1998

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F F A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

291 302 96 753 0 0 48 0 0

N.S.

1 1.04 0.33 2.59 0.00 0.00 0.16 0.00 0.00

time (sec)

N/A 0.347 10.107 3.801 0.000 0.000 0.781 0.000 0.000

Problem 1999

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F F A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

267 272 80 739 0 0 48 0 0

N.S.

1 1.02 0.30 2.77 0.00 0.00 0.18 0.00 0.00

time (sec)

N/A 0.289 10.041 3.472 0.000 0.000 0.659 0.000 0.000

Problem 2000

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F F A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

242 242 49 725 0 0 44 0 0

N.S.

1 1.00 0.20 3.00 0.00 0.00 0.18 0.00 0.00

time (sec)

N/A 0.275 10.014 0.283 0.000 0.000 0.562 0.000 0.000

[next] [prev] [prev-tail] [front] [up]